November 3, 2012
Thankyou for posting.
I found this excellent book you have posted, and as the OCR was of good quality, I decided to retypeset the book, and you can find the result here:
This is a pdf text file so can be searched in acrobat.
This was essentially a manual operation, so is subject to some errors. Please report any you find.